|
課程名稱 |
計算機系統實驗
Computer System Laboratory |
|
開課學期 |
108-1 |
|
授課對象 |
電機資訊學院 資訊工程學系 |
|
授課教師 |
林忠緯 |
|
課號 |
CSIE3311 |
|
課程識別碼 |
902 39110 |
|
班次 |
|
|
學分 |
2.0 |
|
全/半年 |
半年 |
|
必/選修 |
必修 |
|
上課時間 |
星期四7,8,9(14:20~17:20) |
|
上課地點 |
|
|
備註 |
上課地點：資R204(與計算機網路實驗二選一)
限本系所學生(含輔系、雙修生) 且 限學士班三年級以上
總人數上限：52人 |
|
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1081CSIE3311 |
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
https://www.csie.ntu.edu.tw/~cwlin/teaching/3311.html
1. Raspberry Pi
2. System Verification
3. Duckietown |
|
課程目標 |
Learn ability to build computer systems. |
|
課程要求 |
Basic programming skills are required. |
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
N/A |
|
參考書目 |
N/A |
|
評量方式
(僅供參考) |
|
|
週次 |
日期 |
單元主題 |
|
第1週 |
9/12 |
Course Introduction |
|
第2週 |
9/19 |
System Verification: Reachability Analysis |
|
第3週 |
9/26 |
Raspberry Pi: Environment Setup |
|
第4週 |
10/03 |
Raspberry Pi: Bootloader |
|
第5週 |
10/10 |
Holiday |
|
第6週 |
10/17 |
Raspberry Pi: OS Kernel and Root File System |
|
第7週 |
10/24 |
Raspberry Pi: Driver |
|
第8週 |
10/31 |
TBD |
|
第9週 |
11/07 |
System Verification: NuSMV |
|
第10週 |
11/14 |
System Verification: PRISM |
|
第11週 |
11/21 |
Duckietown |
|
第12週 |
11/28 |
Duckietown |
|
第13週 |
12/05 |
Duckietown |
|
第14週 |
12/12 |
Duckietown |
|
第15週 |
12/19 |
Project Demo |
|
第16週 |
12/26 |
Project Demo |
|
第17週 |
1/02 |
Raspberry Pi: Bare Metal Programming
or
System Verification: UPPAAL |
|
第18週 |
1/09 |
TBD |
|